1*35f70200SMichael Kruse{ 2*35f70200SMichael Kruse "context" : "{ : }", 3*35f70200SMichael Kruse "name" : "for.cond => for.end", 4*35f70200SMichael Kruse "statements" : [ 5*35f70200SMichael Kruse { 6*35f70200SMichael Kruse "accesses" : [ 7*35f70200SMichael Kruse { 8*35f70200SMichael Kruse "kind" : "read", 9*35f70200SMichael Kruse "relation" : "{ Stmt_for_body[i0] -> MemRef_A[i0] }" 10*35f70200SMichael Kruse }, 11*35f70200SMichael Kruse { 12*35f70200SMichael Kruse "kind" : "read", 13*35f70200SMichael Kruse "relation" : "{ Stmt_for_body[i0] -> MemRef_A[-1 + i0] }" 14*35f70200SMichael Kruse }, 15*35f70200SMichael Kruse { 16*35f70200SMichael Kruse "kind" : "write", 17*35f70200SMichael Kruse "relation" : "{ Stmt_for_body[i0] -> MemRef_A[13] }" 18*35f70200SMichael Kruse } 19*35f70200SMichael Kruse ], 20*35f70200SMichael Kruse "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }", 21*35f70200SMichael Kruse "name" : "Stmt_for_body", 22*35f70200SMichael Kruse "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }" 23*35f70200SMichael Kruse } 24*35f70200SMichael Kruse ] 25*35f70200SMichael Kruse} 26